1. Formal methods and software engineering
پدیدآورنده : Karin Breitman, Ana Cavalcanti (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I584
2009
